exponential adjunction